1. Automated deduction in geometry
پدیدآورنده : / Francisco Botana, Tomas Recio (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
448
,.
D38
,
I577
,
2006
